step(ii,al,tm(s,[ctxm(pi_,idp1,ip,ip_ii,ip_ii),ctxm(pi_,u,ip,ip_al_1,ip_al_1)],pri(lst,[pri(lst,[ctxm(pi_,u,i,i_al,i_al),ctxm(pi_,u,d_1,id_1,cd_1),ctxm(pi_,u,d_2,id_2,cd_2),ctxm(pi_,u,d_3,id_3,cd_3),ctxm(pi_,dot,n_a,in_a,cn_a)]),pri(sig,[pri(lst,[ctxm(pi_,u,i,i_al,i_al),ctxm(pi_,u,d_1,id_1,cd_1),ctxm(pi_,u,d_2,id_2,cd_2),ctxm(pi_,u,d_3,id_3,cd_3),ctxm(pi_,dot,n_a,in_a,cn_a)]),ctxm(pi_,idp1,kM,kM_ii,kM_ii)])]))).
